Reasoning about Durations inMetric Temporal
نویسنده
چکیده
A formal framework for specifying and verifying real-time systems with a continuous environment is presented. Metric Temporal Logic (MTL) is extended with a duration concept similar to the one in the Duration Calculus (DC). The resulting logic, called MTL-R , is compared with DC and is shown to be more expressive. Axioms for MTL-R and a sound rule to prove that a timed transition system satisses a limited-duration property are given.
منابع مشابه
Temporal Reasoning with Qualitative and Quantitative Information about Points and Durations
A duration is known as a time distance between two point events. This relationship has recently been formalized as the point duration network (PDN) in (Navarrete & Marin 1997). However, only the qualitative information about points and durations was considered. This paper presents an augmented point duration network (APDN) represent both qualitative and quantitative information about point even...
متن کاملModeling and Learning Vague Event Durations for Temporal Reasoning
This paper reports on our recent work on modeling and automatically extracting vague, implicit event durations from text (Pan et al., 2006a, 2006b). It is a kind of commonsense knowledge that can have a substantial impact on temporal reasoning problems. We have also proposed a method of using normal distributions to model judgments that are intervals on a scale and measure their interannotator ...
متن کاملIntegrating Planning and Temporal Reasoning for Domains with Durations and Time Windows
The treatment of exogenous events in planning is practically important in many domains. In this paper we focus on planning with exogenous events that happen at known times, and affect the plan actions by imposing that the execution of certain plan actions must be during some time windows. When actions have durations, handling such constraints adds an extra difficulty to planning, which we addre...
متن کاملTemporal Constraint Reasoning with Preferences and Probabilities
In an uncertain world, a rational planning agent must simultaneously reason with uncertainty about expected outcomes of actions and preferences for those outcomes. This work focuses on systematically exploring the interactions between preferences for the durations of events, and uncertainty, expressed as probability distributions about when certain events will occur. We expand previous work by ...
متن کاملEstimating IDF based on daily precipitation using temporal scale model
The intensity –duration –frequency (IDF) curves play most important role in watershed management, flood control and hydraulic design of structures. Conventional method for calculating the IDF curves needs hourly rainfall data in different durations which is not extensively available in many regions. Instead 24-hour precipitation statistics were measured in most rain-gauge stations. In this stud...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007